Overcoming differences as creative imperative

Overcoming fixation. Creative problem solving and retrieval-induced forgetting.

The man behind the curtain: Overcoming skepticism about creative computers

The common misconception among non-specialists is that a computer program can only perform tasks which the programmer knows how to perform (albeit much faster). This leads to a belief that if an artificial system exhibits creative behavior, it only does so because it is leveraging the programmer’s creativity. We review past efforts to evaluate creative systems and identify the biases against th...

Life as a cosmic imperative?

The origin of life on Earth may be divided into two stages separated by the first appearance of replicable molecules, most probably of RNA. The first stage depended exclusively on chemistry. The second stage likewise involved chemistry, but with the additional participation of selection, a necessary concomitant of inevitable replication accidents. Consideration of these two processes suggests t...

VeriFast: Imperative Programs as Proofs

We propose an approach for the verification of imperative programs based on the tool-supported, interactive insertion of annotations into the source code. Annotations include routine preconditions and postconditions and loop invariants in a form of separation logic, as well as inductive datatype definitions and recursive function and predicate definitions to enable rich specifications. To enabl...

Overcoming the Barriers of Linguistic Differences

In this paper we analyse the new paradigm represented by the Internet as a global means of communication and the linguistic differences as an obstacle to the increasing demand in international interchange. The Universal Networking Language (UNL) is presented as a highly important initiative within the scope of actions of the United Nations Organisation, representing a solution to overcome the b...